Devyanin P. N., Leonova M. A. «The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB» // Applied Discrete Mathematics 2021. №52 C.83-96
Devyanin Petr N., Leonova Maria A. «Comparison of methods for modeling access control in os and dbms in Event-B for the purpose of their verification with Rodin and ProB tools» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99
